#ifndef __CONSOLE_H__
#define __CONSOLE_H__
#include "type.h"

void console_read(void * dst, uint32_t IsUser, size_t size);
void console_write(void * src, uint32_t IsUser, size_t size);
void console_putc(int ch);
void console_init(void);
void console_intr(int ch);

#define BACKSPACE 0x100
#define BUFSIZE 128
#endif